641. Artificial intelligence and problem solving /
Author: Dr. Danny Kopec, Christopher Pileggi, David Ungar, Shweta Shetty.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Problem solving.,Artificial intelligence.,Problem solving
Classification :
TA347
.
A78
K66
2017
642. Artificial life and evolutionary computation :
Author: edited by Marcello Pelillo, Irene Poli, Andrea Roli, Roberto Serra, Debora Slanzi, Marco Villani.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Evolutionary computation, Congresses.,Self-organizing systems, Congresses.,Algorithms & data structures.,Artificial intelligence.,Artificial life.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Evolutionary computation.,Mathematical theory of computation.,Mathematics-- Logic.,Self-organizing systems.
Classification :
Q325
.
W58
2017
643. Artificial mathematical intelligence :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Mathematics. ;
644. Artificial neural networks
Author: Kevin L. Priddy and Paul E. Keller.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Neural networks (Computer science)
645. Artificial neural networks in biological and environmental analysis
Author: / Grady Hanrahan
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Artificial intelligence--Biological applications,Biology--Data processing,Environmental engineering--Data processing,Neural networks (Computer science)--Scientific applications
Classification :
QH324
.
25
.
H36
2011
646. Aspects of Semidefinite Programming :
Author: by Etienne Klerk.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Mathematics.,Information theory.,Mathematics.
Classification :
T57
.
74
B948
2004
647. Assignment problems /
Author: Rainer Burkard, Mauro Dell'Amico, Silvano Martello
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Assignment problems (Programming),Computer science-- Mathematics
Classification :
QA402
.
6
.
B87
2009
648. Assignment problems
Author: Burkard, Rainer E.
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Assignment problems )Programming(,Mathematics ، Computer science
Classification :
QA
402
.
6
.
B87
649. Asymptotic Combinatorial Coding Theory
Author: by Volodia Blinovsky.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorics.,Computational complexity.,Computer engineering.,Engineering.
650. Asymptotic geometric analysis
Author: Monika Ludwig ... [et al.], editors
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Geometric analysis, Congresses
Classification :
QA360
.
A89
2013
651. Asymptotics and special function
Author: / [by] F. W. J. Olver
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Functions, Special,Asymptotic expansions,Differential equations- Numerical solutions
Classification :
QA351
.
O48
652. Asymptotics and special function
Author: / [by] F. W. J. Olver
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Functions, Special,Asymptotic expansions,Differential equations, Numerical solutions
Classification :
QA351
.
O48
1974
653. Asymptotics and special functions
Author: Olver, Frank W. J.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Functions, Special,، Asymptotic expansions,، Differential equations-- Numerical solutions
Classification :
QA
351
.
O48
654. At the intersection of language, logic, and information :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Mathematics ; Congresses. ;
655. Atlas for computing mathematical functions: an illustrated guide for practitioners, with programs in C and Mathematica
Author: Thompson, William Jackson
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: Computer programs ، Functions,Mathematics Computer programs ، Science,، C )Computer program language(,، Mathematica )Computer program language(
Classification :
QA
331
.
T385
656. Attempto controlled English as a semantic web language
Author: [by] Kaarel Kaljurand.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
657. Automata
Author: / Alexander Meduna, Tomas Kozar.,Meduna, Alexander,
Library: Library of College of Science University of Tehran (Tehran)
Subject: Machine theory.
658. Automata and computability /
Author: Dexter C. Kozen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computable functions.,Machine theory.,Abstracte automaten.,Automatentheorie.,Automates mathématiques, Théorie des.,Berechenbarkeit,Berekenbaarheid.,Complexité de calcul (informatique),Computable functions.,Endlicher Automat,Fundamentele informatica.,Kellerautomat,Kontextfreie Grammatik,Machine theory.,Machines séquentielles, Théorie des.,Reguläre Menge,Turing, Machines de.,Turing-Maschine
Classification :
QA267
.
K69
1997eb
659. Automata, logics, and infinite games
Author: Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science -- Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
Classification :
QA
76
.
L28
Vol
.
2500
